Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Theory of computation
• Computable function
• Primitive recursive function
• operator
• Language identification in the limit
• Sequence
• Arithmetical hierarchy
• Cauchy sequence

PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the

Source URL: www.ricam.oeaw.ac.at

• Linz
• Oil Campaign of World War II
• Johannes Kepler
• Johann Radon
• Christoph Koutschan
• Bruno Buchberger

A COMPUTATION OF MODULAR FORMS OF WEIGHT ONE AND SMALL LEVEL KEVIN BUZZARD AND ALAN LAUDER Abstract. We report on a computation of holomorphic cuspidal modular forms of weight one and small level (currently level at most

Source URL: wwwf.imperial.ac.uk

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–15 Prepared using cpeauth.cls [Version: v2.02] Lightweight emulation to study peer-to-peer systems

Source URL: www.loria.fr

• Computing
• Computer architecture
• Software
• File sharing
• Parallel computing
• Peer-to-peer
• FreeBSD
• Computer cluster
• Linux-VServer
• BitTorrent
• Routing

Assessing efficiency of different evolutionary strategies playing MasterMind Juan J. Merelo, Antonio M. Mora, Thomas P. Runarsson and Carlos Cotta Abstract— A MasterMind player must find out a secret combination (set b

Source URL: game.itu.dk

• Cybernetics
• Search algorithms
• Applied mathematics
• Mathematical optimization
• Evolution
• Gaming
• Mathematics
• Mastermind
• Genetic algorithm
• Algorithm
• Evolutionary computation
• Fitness landscape

REALM: A Rule-Based Evolutionary Computation Agent that Learns to Play Mario Slawomir Bojarski and Clare Bates Congdon develop a vocabulary of conditions and actions for a rulebased system and then first, to develop a fi

Source URL: game.itu.dk

• Nintendo
• Gaming
• Digital media
• Mario platform games
• Arcade games
• Fictional turtles
• American culture
• Culture of Brooklyn
• Mario
• Koopa Troopa
• Goomba

1 CHAPTER 10 COMPUTATION OF AN EPHEMERIS 10.1 Introduction The entire enterprise of determining the orbits of planets, asteroids and comets is quite a large one, involving several stages. New asteroids and comets have to

Source URL: astrowww.phys.uvic.ca

Appendix H: Developments relevant for building a semantic collection of mathematical theorems The Sloan Foundation funded eCF project was an exploratory project devoted to collecting and semantically representing mathema

Source URL: www.wolframfoundation.org

• Software
• Application software
• Mathematical software
• Mathematics
• Mathematical notation
• Theorem
• Applied mathematics
• Areas of mathematics
• Mathematician
• Wolfram Mathematica
• Symbolic computation
• Mathematical proof

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. ExperView this article online at wileyonlinelibrary.com. DOI: cpe.1639 Wavelet-adaptive solvers on multi-core architectu

Source URL: www.cse-lab.ethz.ch

Applied Mathematics and Computation±124 www.elsevier.nl/locate/amc On the approximation of real rational functions via mixed-integer linear programming

Source URL: www.papamarkos.gr